/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package core;

import expression.IntExpr;

/**
 *
 * @author usdtim
 */
public class UnsatException extends Exception {
    private IntExpr expression;
    
    public UnsatException(IntExpr e) {
        super();
        expression = e;
    }
    
    public IntExpr getExpr() {
        return expression;
    }
    
    public String toString() {
        return "UNSAT : " + expression;
    }
}
